Skip to content

Conversation

kittaakos
Copy link
Contributor

Motivation

Change description

Other information

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@kittaakos kittaakos added topic: infrastructure Related to project infrastructure topic: code Related to content of the project itself os: linux Specific to Linux operating system labels Apr 12, 2023
@kittaakos kittaakos self-assigned this Apr 12, 2023
Akos Kitta added 2 commits April 12, 2023 12:27
Signed-off-by: Akos Kitta <[email protected]>
Signed-off-by: Akos Kitta <[email protected]>
@kittaakos
Copy link
Contributor Author

Same problem as with #2011. Closing.

@kittaakos kittaakos closed this Apr 12, 2023
@kittaakos kittaakos deleted the ubuntu-build branch April 12, 2023 17:22
@kittaakos kittaakos restored the ubuntu-build branch April 12, 2023 17:22
@per1234 per1234 added the conclusion: declined Will not be worked on label Apr 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: declined Will not be worked on os: linux Specific to Linux operating system topic: code Related to content of the project itself topic: infrastructure Related to project infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants